Valve Funds More Than Just Linux Gaming Patches